UB-algebras相关论文
文献[2]给出了理想状态下泛辑学的形式演绎系统β，证明了此系统是可靠的。文献[3]提出了在理想状态（h=k=0．5）下泛逻辑学对应的代数系统......
给出了理想状态下泛逻辑学的形式演绎系统β，证明了此系统是可靠的。提出了在理想状态（h=k=0．5）下泛逻辑学对应的代数系统-UB代数，进一......
